用Promela语言对滑动窗口协议中的Rdt2.2模型进行了描述,通过Spin对该描述进行了形式化分析验证,并发现存在一个死锁。进而对该协......

信标的受控性是检测柔性制造系统（flexible manufacturing system,FMS）Petri网模型是否存在死锁的关键因素.对于普通Petri网,在任何......

Sybase数据库死锁的发生对系统的性能和吞吐量都有重要影响，经检测发现，管理信息系统的死锁主要是因为两个或多个线程（登录）抢占同一表......

为保证集群系统中全局事务的并发正确执行,采用基于谓词级的多级粒度冲突检测机制,并通过检测谓词冲突图中是否存在环的方法来避免......

高层体系结构HLA(high level architecture)是美国国防部提出的建模和仿真的标准,时间管理服务是其重要的组成部分,而GALT(greates......

由于柔性制造系统中的死锁问题与对应建模Petri网中信标密切相关,如何准确和快捷地求解这样的信标,对于基于信标可控的死锁控制策......